Müasir kompüter elminin qurucularından biri və süni intellektin nəzəri əsaslarını yaradan ingilis riyaziyyatçı Alan Tür